Pam Carswell

PAM-SoC Experiments and Results

This report briefly presents PAM-SoC, a toolchain for predicting MPSoC platform performance, and its results on predicting the performance of a set of six benchmark applications.

Phrase aligner module ( PAM )

Seasonal primary amebic meningoencephalitis (PAM) in the south: summertime is PAM time.

Primary amebic meningoencephalitis (PAM), a typically fatal, free-living amebic infection of the central nervous system (CNS), is caused by the thermophilic, freshwater protozoan, Naegleria fowleri. More than 145 cases of PAM have been reported worldwide, with most reported cases in the United States (US). Since annual PAM case clusters in the US and worldwide have demonstrated recent increases...

Images – Pulmonary Alveolar Microlithiasis (PAM)

Pulmonary alveolar microlithiasis (PAM) is a rare disease of unknown origin in which calcific concretions collect in alveolar spaces. No known cause for the disease had been identified and there appears to be no systemic disorder of calcium metabolism. Plain chest X-ray shows a white lung consisting of fine sandlike micro calcification diffusely scattered throughout both lungs with high density...

PAM: A Process Algebra Manipulator

PAM is a general proof tool for process algebras. It allows users to deene their own calculi and then perform algebraic style proofs in these calculi by directly manipulating process terms. The logic that PAM implements is equational logic plus recursion, with some features tailored to the particular requirements of process algebras. Equational reasoning is implemented by rewriting, while recur...